Theorem provers in circuit design - theory, practice and experience : proceedings
- Författare
- Thomas Kropf Ramayya Kumar International Conference on Theorem Provers in Circuit Design 1994) Bad Herrenalb :
- (Second international conference, TCPD'94, Bad Herrenalb, Germany, September 1994 Ramayya Kumar, Thomas Kropf, (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1995 | Tyskland, Berlin, New York | 303 sidor. ill. |